E x and ln rules