Redesign Machine evaluate to static