Points:

@Code \coordinate (P) at (4,5);