Pascal's formula