use prompt for better assertion

Closes #7