Search For assumptions

2