Used satEnum in handleBool, realized assertions can be rephrased as bool questions