Search: formal design