Identifying circular reasoning