The precise rules for alpha-conversion are not completely trivial.
Οι ακριβείς κανόνες για τη μετατροπή άλφα δεν είναι εντελώς προφανείς.