{{numberedTask.ordinal}}. {{numberedTask.task.sequent}}