Added first versions of arbitraries