Now with basic reification