annotated the directed graph depicting the lease