Clean up logic that governs valid reified arguments