Should be (1 > epsilon) on the blackboard at time 11min 30 sec.