trying has_unknowns (broken)