direct logic