Zaslat SMS: Extension problems in intuitionistic plane projective geometry /