Keeping PB law-related stuff modular

Motivated by integrating PB's de jure laws into EMF.