precondition consisting of only one atom doesn't need to be a list.