toprove :: Note
toprove = coloredTodo "orange" $ "There is a proof missing here."
toprove :: Note
toprove = coloredTodo "orange" $ "There is a proof missing here."
toprove = coloredTodo "orange" $ "There is a proof missing here."