Basic version done (no inference)