Add some preventional check to the abstract