live20 と live16 は等価なんだっけ