We'll have to wait for @everybooleanrepresentation to get that fancy.