contract renaming; rewrite provider query to return a specified flash card; update provider tests
simple prev and next buttons for testing