test advance assume