< false; falseh'R4 < falQ