not (true != true)
