Update hand written definition in Eq and Bool