removed Unicode from auxiliary lemmas, since they will be moved anyway