A method can be defined as formal when it makes use of...