Within REX, all calculations are based on a time of 00:00 UTC on the following day. So if a user purchases REX tokens at 16:00 UTC today, they will only become available to sell back into EOS (considered matured) four days and eight hours from that time. So whenever people say “four days”, it’s actually four days from the next 00:00 UTC.