Mark Sprevak (Cambridge): Does a Rock perform every computation?