reformating
implemented verification