(In-)formal methods: the lost art (In-)formal methods: the lost art Rings