Using @namin code to bootstrap evaluation w/ nominal logic