../../Task/Program-termination/Nanoquery