Add back the default case to the triviallytrue functions.