Add safety versus assessment trick tactic combination from tactic 1 & 2: There should not be 2 transformations with same result tree.

Effect for assessment: if this trick was found, give 0 points for every transformation step in the circle, and don't count this transformation steps to quantity of transformation steps.

Problems, Idea, proposed solutions

3 ways how to make a longer proof:

1. make a (small) circle of transformation steps and repeat that circle until enough transformation steps Result: There are same transformation steps
2. make a (big) circle of transformation steps and don't repeat that circle to avoid same transformation steps Result: There are same result trees in different transformation steps
3. make a (big) detour without making a circle Result: This must not be a trick tactic. Some people just find only a workaround without finding the direct path.

Effect for assessment: if this trick was found, give 0 points for every transformation step in the circle, and don't count this transformation steps to quantity of transformation steps.

Question: How is this in combination with Lemmas? Does tactic 2 work then? Need to analyse this.

Answer: Lemmas can be used to hide a circle, by putting one of the two same result trees in a Lemma.

Only way to solve Lemma problem: unfold lemma if it is a direct proof before checking for the circle.

Point 3 can be a trick tactic:

1. teleport from start to your favorite place
2. walk your favorite path
3. teleport back to reality (to the end)

• Result: 2 wrong transformation steps, you can proof whatever you want for any task
• Safety tactic: We must forbid teleportation, but how?