Update demos to use GIVEN in SIMULATE