Title: Correspondence rules OK!