def -> def-