Refactored work with implication prefixes