Remove some \strong.
Postpone the @is clause in perspectives.
Fix a bad \ref.
Simplify \pred() and RAC presentation.
Apply feedbacks from Alain.