Deborah-HavenDHaven-ProofsKAT 2021