antarctic-circle public under circle-of-latitude 5 List Picture As a command %3 n0 antarctic-circle n1 circle-of-latitude n1->n0