Model-Based Tests of Truisms