Explicit Pre Mathematics