Huru ämnade hou bevisa sintacksamhet