Fixed tags of andN-core and proof-andN-core