Add two stray SDP theory entries