The node you are looking for is at meta-formal-arguments.