Author: Mandresku Vadim logician