PRE-Type