Verification, verification everywhere

#16