read SERGI: Theoremt(2,t): print(`This took`, time(), `second `): quit: