define three arg reify