reverse change on lambda, fix notation misuse (F instead of D)