switched to only Chris' lambda calculator