“Never try to teach a pig to sing; it wastes your time and it annoys the pig.”

        — Robert Heinlein