Enforcing an important fact. Also includes string