Identifying Flaws in Logic