Bring other definitions