I think you should check `defined_definitions` here. What do you think? )