pgdef3