Which of the following facts of Alloy and Object-Z are true?
	1 Alloy is more expressive than Object-Z
	2 Theorem provers in Alloy are not fully automatic and often require guidance from the user
	3 In contrast to Alloy, Object-Z allows you to prove that a model is correct.