Is it problematic that `def down