I think I translated this right