DISTILLED LOGIC