converts assumption but does so incorrectly at this time