Aeson conversion
Acid state code complete