integral meta-theory (1)