$if withHeader

#{challengeTitle challenge}

#{challengeDescription challenge} $maybe deadline <- versionDeadline $ entityVal version

Deadline: #{show deadline} $nothing ^{pageBody bc}