adding new graphics
adding graphics and finishing logic engine proof