note about solving an ECB/CEDET problem