Explicit Mathematics