'a' can be anything
show results of logic
have some Platonic ideals
more platonic, more perfect