not (true and true)
