hf of preconditions
empty test
fix initial code