要約すると、DR: もし(料金支払者!= 木星) { widen() }