Theory with control theory mostly finished