Crystal Logic