Text this: The theory and some applications of Pták's method of non-discrete mathematical induction