Moving serializability proof to appendix