Algebraic blindness: Boolean blindness for often type systemsgithub.com/quchen1 pointfanf28 years ago