Գրեք սա: Checking Experiments in Seguential Mashines