it seems to me that Archimedes was probably on the verge of inventing #plus before #google did … :)