Can critical thinking be codified? To discuss this theme, three tools have to be used together: real software abstraction, abductive modelling and queer critique of normativity.