Lifts (expansions) and shadows (reducts) are used to characterize NP by means of shadows of classes determined by finitely many forbidden lifted substructures.
