elausys-propositions