removed all Admitted clauses to prevent confusion for the reader