Added spec and working on eliminative element