HowToSolveIt › MoinMoinInstallHowto › GreenTea › FindPage › JuneKim › IntroductionToLogicByTarski
".$options[timer]->Write()."