i. r. porteous