Added some definitions implementen with specs
Added some definitions implementen with specs