Implement reification