Craig-online resolution-H