For every is there is a have done. For is not only comes from a have not. A have not is always a having of no is. For is is an is done from having done. Doing the is is the is of doing. Thus the formula for the the.