lambda magic assertions