Conditionally writing Eq instance