PKs are preserved