[cons-distributes-over-leql.png]