Writing Down the Non-Obvious