Add and_/1 & tests