Proving a control operated during a period you did not test