Spec instructions