The tag implication #52665 protostegidae -> cryptodira has been rejected.
Reason: Extinct turtle family to the suborder it's part of, which also includes most living turtles and tortoises.
EDIT: The tag implication protostegidae -> cryptodira (forum #380767) has been rejected by @scaliespe.
Updated by auto moderator