science:formal:computer:home