More implementation, more playing around with the formalism.