Add some stub predicates and weak boxes
Add placeholders and ephemerons