JADCE

This file will be supplemented after the paper is accepted.