added formal Output class