The statement "In the event "Helena does not know Alfred.  As Helena passed Alfred in the hall, she smiled at him.", something that changed was Helena and Alfred were now past each other in the hall." is true because If Helena has passed Alfred then they are now past each other.