Conjectures and metalogical rules - Jakić, Mirko (Array, 2004)