syntactic-closure implemented