Pictures for ontopaper
PHD axioms (incomplete)