I find no fault in this logic.