Comment by Paracompact

A model of lambda calculus with a much smaller Kolmogorov complexity, then.