Introduce fixed instances