How many pens does it take to sign a bill?