object and metalanguage
liar's paradox