a true b true