Talk:Principle of distributivity