Completeness classes in algebra | Synapse