Nonclassical analysis