positivity (12)