Email Record: Checking experiments in sequential machines /