let mask_then = Db.Value.mask_then