Intensions (Explicit)

State Facts (Explicit)