Tentatively have differentiation working, including final and space