superextendendum