Implemented processing
Added quickCheck test