Simpler variables in module Fortholito