reversed proc and lamda