If all of S's tensed beliefs are reducible to tenseless relational propositions known simultaneously...