correct in his assumptions