Started with XplusYeqZ
Implemented removeDomain in fdv. Started writing tests