Welcome to REDUCES library!