— F , n proposition!