Juhana's extensions