val need not be positive