Truth tables are now ordered properly