Programming by wishful thinking