started theory-aware json load/save