Craig-online resolution-F