Contract reference
Not used by Isah