Right-distributive

Summary