decida 1.1 Library Procedures