Which of these is the correct symbolic representation for 'P is a sufficient condition for Q'?