added assumptions for rendering result