Styles preferences and proofs