Making lifter Provider consistent with Behavior