How Will Nautilus Affect Indefiniteness at the PTO?