Add override for Ursatz