Added `devoid`