Curious regarding inactivity pruning

The Handbook says

  • Companies from PRO accounts will not be liquidated at all
  • Companies from BASIC accounts will be notified after 180 days of inactivity and liquidated 31 days afterward
  • […]

FAQ :: Prosperous Universe Handbook

I’m curious as to what the behavior is if a user has, say, 200 days of PRO. Would they get notified on day 200 and then have 31 days, or would the 180 days of inactivity for BASIC start counting then, so they’d get notified on day 200 + 180 = 380 (and deleted 31 days after that)?

From the discussions in Discord it was understood as 180+31d after PRO runs out