getConclusion now randomizes two atoms with an operator imbetween