add JSON for assumptions