fixed types and relations