Why is this `RuntimeException` rather than `PigpenException` like above? Just checking.