/* the system faces: nothing is fetched from outside */