Explicit Pre - Mathematics