NewType
abstract class NewType
Trick to convert from multiplicative assertion to additive assertion
Trick to convert from multiplicative assertion to additive assertion
Trick to convert from multiplicative assertion to additive assertion
Trick to convert from multiplicative assertion to additive assertion