Craig-online resolution-E