För att bevisa sintacksamhet