Added specs for both demultiplexers.