Question Regarding LTL and Box Sizes

2 comments