Adding right projection and covariant methods.