Miterm for CDES3400