Rename variable for clearer explanation
Fully abstract rejection sampler MC