Basic functionality, but no solving yet