Check out legma supra (@sigma