Explicit pre mathematics (2000 FRS)