Describir: Logic for applications /