The chapter is a brief summary and exposition of independence results technique for non-experts in set theory (ZF). It covers inner models and also the technique of forcing.