you have an aversion to unary logic for simplification, meh! okay