Merge of QRule and Gauss almost over