Writing a proof as a chain of expressions connected by equals signs whether they are appropriate or not.