Craig-online resolution-K