If relative identity is false and classical Leibniz-style identity holds, statement 6 follows necess...