Boole
colonizes
lubricious
Luxembourger
interlocked
assertions