prefinitions