I've asked juniors to write easier things without success, and I applied the transitive property.