“six less than twice y”