Revert "An example"

This reverts commit 21321bc2b3744071a75d2ab9ff3ba3e5cf95ea41.