Logical formula is now vertically centered