Added preconditions to services