A state-of-the-art machine for Fun generation.