@jayprev97 YA! in philosophy we call formal deductive and informal inductive, it was kind of weird to hear it as formal and informal logic LOL