less restrictive assertion