Added semantics and a non working test example.