Use Pascal's identity (#718)