custom: Preconditions