Lambda for bmv0