Revert "def"

This reverts commit e81ce3026da54716dabd5f6a76b502e89b955623.