NFC Shield 2.0 pin usage

on documentantation is not so clear what exacly pins are used on Arduino.
SPI pins: all
D10 : SPI chip select
D11 : SPI MOSI pin
D12: SPI MISO pin
D13: SPI serial clock pin

this means D10, D11, D12 and D13 cannot be used for any other purpose?

There are also other pins?

Power for example?

Thank you!