Talk proposal for august: Reasoned PHP