task algebra