json definitions