removed assertive check (satisfied)