Title: New systems for proving calculations with English currency