Craig-online resolution-D