Logic docs added