Add property-forcing.