Law and order in algorithmics by Fokkinga