arithmetic appears to work