I will talk about the fundamental theorem of affine sieve (joint with Sarnak). The main black box in the proof of this result will be also explained. It is a theorem on a necessary and sufficient condition for a finitely generated subgroup of SL(n,Q) under which the Cayley graphs of such a group modulo square free integers form a family of expanders (joint with Varju).