Craig-online resolution-C