forward x supdef