Conclusions added, logic done