cosmological-constant public under quantity 102 List Picture As a command %3 n0 cosmological-constant n1 quantity n1->n0