repetition removed; style added