giving IDs to definitions