Theory partially done