This is from normal traditional Oberon, however.