ptolemaic-system public under theory 13 List Picture As a command %3 n0 ptolemaic-system n1 theory n1->n0