fapp lam X Y X Y X o o Y o fapp o o o lam o o o FULL .