define valid as physically realizable