Machine off calculus, and a little games and editors of the text