\indent 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).