"Kanny"@cs . "Cannae"@cs .