An invitation to formal reasoning | lit.salon