Title: An alternate approach to understanding formal reasoning