../../Task/Tau-function/MiniScript