Added AllOf as a function