What if only the second type exists, but they always claim to be the first?