[mkl]

What about the following, though?

  Theorem:
    for: x
      where: y
      then: z
    'some statement'