RHS is nonzero constant.wmv