Logic YSIV