Merge Åsas simpler evalutaion proof