Main with vector_logic