Some statements are generic