Derived formalism of Deneve et al 2013. Started on a sequences paper.