Temporal formulae: we can say things like
	• Does some property hold true globally (e.g., in every state)? – Top figure • Does some property inevitably hold true (e.g., along every path)? – Bottom figure • Does some property potentially hold true?