1? NOTYPECHECK 1 TYPECHECK( 1.1+ , 1.1.0! MAGNITUDE 1.1.0? 1.1.0 NOMAGNITUDE 1.1! REGISTER 1.1? 1.1 NOREGISTER 1.2 (1) 1.3 )