Generalized carvoyant subscriptino rule;
Added initial idempotent subscriptions