Minor fix

unused argument
.and
revisited

cleaner .and implementation
Example