Revert "def"

This reverts commit e1eab5e65c2db170e025e92a8e044c871172c3fc.