dafny logo slaps as always