Add to Abstraction and Laws sections, relating them.