scala projext