João Pita Costa: Coset laws for distributivity.