Формализовать высказывание с предикатом, используя кванторы.

Формализовать высказывание:
Существует точно один предмет, удовлетворяющий предикату P(x)

Не понимаю, как дойти до правильного ответа из-за слова "точно".