subtractor implemented