alexandria
lightsout
mowinckels
priors
axioms