Compare price to type theory