Title: Elements of intuitionism