Adding all comments,and explation for logics