$def with (edition_count=1, show_observations=False)