This is proof of the positivity of porn (42F)