remove unused argument
complete proof of monotonicity, pending proofs of other lemmas