Deriving Eq