Proving the 5-Engel identity in the 2-generator group of exponent four - Colin Ramsay (2024)