🔍
🏠
Wikipedia
🎲
Contraction (logic)