make assertion functions into boolean tests