Logic applications