The type is already checked to not be peer reflexive earlier.
Attach a file by drag & drop or click to upload