Logic helps