SANE-LOGIC