`copy` extension
`every` extension
`some` extension