RALA identity

by Jakob Faust