Post's problem