Identifying unsupported statements