57 A survey of the opinions is given by Wolter (1987).