lec01-formal-reasoning