# eukhe: the proof of LAW theme_pick_example

import Base
import ../../laws/theme.bend as Theme

def Theme.theme_pick_example():
  {==}