Fixed versions of instances reification functions