#44 Create reference machine states for goal latches