Wyckoff Logic