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