is the definition really serializable ?