Ja siis veel selle Ovendeni implikatsiooni kohta: kui sa tahad jääda füüsikalisele alusele, siis sa pead tõestama FÜÜSIKALISELT, et see implikatsioon ei kehti. Newtoni füüsikas ei kehti jah, aga Newtoni füüsika ei näe ka ette võimalust, et G pole konstant. Sestap - kui sa võtad Ovendeni implikatsiooni tõsise füüsikalise hüpoteesina, peab seda tõestama empiiriliselt. Sest kui implikatsioonis 'kui A, siis B' on mõlemad pooled sünteetilised laused, siis pole lähtuda millestki muust kui  implikatsiooni operaatorist endast. Sa ei saa prima facie eeldada, et üks ei järeldu teisest. Ja nagu ratastega tädi lause puhul, on siin loogiline analüüs minu arust asjakohatu.