add informal tests for display