Introducing ReFUEL4