Correct def statement