A tool for demonstrations of Finitio