content

inductive false : prop :=.