Craig-online resolution-A