Boolean atoms