Proposals 3.1: Some preliminaries