seemingly_objective_assertions