separate extensional and intensional rules