The Lazy Evaluation of Infinitesimal Logic Expressions