Attempted proof of 2.1.5 support