formal-science public under science 459 List Picture As a command %3 n0 formal-science n2 computer-science n0->n2 n3 logic n0->n3 n4 mathematics n0->n4 n1 science n1->n0