Definition of EX OFFICIO