time travel subgroup of travel, 2 assertions