extensional

There rest, and let them take it in what sense thou wilt.