Text this: Rudiments of [mu]-calculus /