Software Search For examples formal outline