non-index-preserving lens by default