just need to add randomness and should be good to go. Scenarios 1-4 are
all set up.