Lambda3 identity: True
Lambda4 identity: True
W4 all ones: 45
m=2 identity: True
