PROB rewritten, TESTED, ACCEPTED