Craig-online resolution-G