Some works in this section are represented at sketch state
and may differ from the final results.