triviallytrue: