Crystal Abstractions