Inline PropagateSafe and FulfillSafe