Geoffrey Penington - Algebras and states in JT gravity