Lucas Champollion's Annual Review paper on distributivity in formal semantics