subtractor.v