Therefore, Davies' positional criterion is insufficient to preserve type membership when the definin...