Inserting parens for readability, removing the silly word "provably", cf. #170