snd -package:linear-base is:exact package:strict

Extract the second component of a strict pair.