convenient_truth doesn't have any sets.