Error, consistency and triviality. (16th June 2021)