Initial thoughts of resolution algorithm in TODO