Example Theorem Lemma[section] Deļ¬nition[section] Fact[section] Corollary[section] Banavar (Syscon, IITB) Time Optimal Reorientation August, 2009 1 / 27