show that even \later^n False is inconsistent (for any fixed n); properly use pvs in counter_examples