[CHANGE] quad. eq. output [ADD] Theory for quad. eq.