Is Seshatic X closer to Seshatism than X?

[bvssvni]

Seshatic Joker Platonism is Seshatism under Closed Joker Calculus (CLC).

So, it proves that Seshatic X is closer to Seshatism than X for some X.
In this case, it means Seshatic Joker Platonism is closer to Seshatism than Joker Platonism.

However, does this hold for all X?

Technically, "closer" here means "closer or equal", but I write "closer" as a shorthand.

[bvssvni]

The question is for Platonic X: Is Platonic X closer to Platonism than X?

[bvssvni]

If this is the case, then Seshatic Joker Seshatism is closer to Seshatism than Joker Seshatism.

(Joker Seshatism) (Joker Seshatism) evaluates to (Seshatic Joker Seshatism, Platonism).
Notice that if this was (Seshatism, Platonism), it would be Joker Seshatism.

Seshatism has the property that Seshatic Seshatism is Seshatism.
In general, when X X is X, it is either Seshatism or Platonism (as far I know).
Comparing to Joker Seshatism, it has the property that X X is "almost" X.

However, if Seshatic Joker Seshatic is closer to Seshatism than Joker Seshatism,
then (Seshatic Joker Seshatism, Platonism) is closer to (Seshatism, Platonism) than (Joker Seshatism, Platonism).

This means (Joker Seshatism) (Joker Seshatism) is closer to Joker Seshatism than (Joker Seshatism, Platonism).

[bvssvni]

Seshatism
Seshatic Joker Seshatism
Joker Seshatism

Joker Seshatism
(Joker Seshatism) (Joker Seshatism)
(Joker Seshatism, Platonism)