Rule and script for microPBC.