Requiring only a minimal number of assumptions (where these assumptions are for example expressed as changes in the states of a character).