What makes this formalization fake?