deleted satisfies function